March Simulation Report

Faults: 34, TPs: 130, MarchTests: 5

March SC10016 Ops100.00% Cov
Single Cell Coverage
100.00%
16 faults
Two Cell Coverage
100.00%
18 faults
Total Coverage
100.00%
34 faults
Run Time: 200 us
Elem 1
0,-
0,-
-,-
-,-
-,-
W0
Elem 2
1,1
1,0
0,0
0,0
0,0
C(1)(1)(1)
1,1
1,1
0,1
0,1
0,1
W1
1,1
1,1
1,1
0,1
0,1
C(0)(0)(0)
1,0
1,0
1,0
0,0
0,0
C(0)(1)(0)
Elem 3
0,0
0,0
1,0
1,0
1,0
C(0)(1)(0)
0,0
0,1
1,1
1,1
1,0
R1
0,0
0,1
1,1
1,1
1,0
W0
0,0
0,1
0,1
1,1
1,0
C(0)(0)(0)
Elem 4
0,0
0,0
0,0
0,0
0,0
R0
Elem 5
0,1
0,1
0,1
1,1
1,1
C(0)(1)(0)
0,0
0,1
0,1
1,1
1,0
W1
0,0
0,1
1,1
1,1
1,0
C(1)(1)(1)
Elem 6
1,0
1,1
1,1
0,1
0,1
C(0)(1)(0)
1,0
1,1
1,1
0,1
0,0
W0
1,0
1,1
0,1
0,1
0,0
C(0)(1)(1)
Operation Events

Fault Coverage Summary (34)

#Fault IDCoverageTPs
0SA0
100.00%
Detected (2)
#0
Fault: SA0
Primitive: < 1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#1
Fault: SA0
Primitive: < 1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
1SA1
100.00%
Detected (2)
#2
Fault: SA1
Primitive: < 0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#3
Fault: SA1
Primitive: < 0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
2TFu
100.00%
Detected (2)
#4
Fault: TFu
Primitive: < 0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
#5
Fault: TFu
Primitive: < 0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
Undetected (0)
3TFd
100.00%
Detected (2)
#6
Fault: TFd
Primitive: < 1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
#7
Fault: TFd
Primitive: < 1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
Undetected (0)
4CFid(↓,0)
100.00%
Detected (8)
#8
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [^]
#9
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [^]
#12
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#13
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#14
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#15
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#20
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#21
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
Undetected (8)
#10
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [;]
#11
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [;]
#16
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [^]
#17
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [^]
#18
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [;]
#19
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [;]
#22
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#23
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
5CFid(↓,1)
100.00%
Detected (8)
#28
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#29
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#34
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [;]
#35
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [;]
#36
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#37
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#38
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#39
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
Undetected (8)
#24
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [^]
#25
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [^]
#26
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [;]
#27
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [;]
#30
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#31
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#32
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [^]
#33
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [^]
6CFid(↑,0)
100.00%
Detected (10)
#44
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#45
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#46
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#47
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#50
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [;]
#51
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [;]
#52
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#53
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#54
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#55
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
Undetected (6)
#40
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [^]
#41
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [^]
#42
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [;]
#43
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [;]
#48
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [^]
#49
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [^]
7CFid(↑,1)
100.00%
Detected (8)
#60
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#61
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#62
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#63
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#68
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#69
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#70
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#71
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
Undetected (8)
#56
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [^]
#57
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [^]
#58
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [;]
#59
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [;]
#64
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [^]
#65
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [^]
#66
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [;]
#67
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [;]
8CIDWD
100.00%
Detected (4)
#72
Fault: CIDWD
Primitive: < 1Ci1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
#73
Fault: CIDWD
Primitive: < 1Ci1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
#74
Fault: CIDWD
Primitive: < 1Ci0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
#75
Fault: CIDWD
Primitive: < 1Ci0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
Undetected (0)
9CIDDB(0,0)
100.00%
Detected (4)
#76
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,0) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#77
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#78
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,0)
Ops(before detect): -
Detector: R1 [#]
#79
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
Undetected (0)
10CIDDB(0,1)
100.00%
Detected (4)
#80
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,0) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#81
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#82
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,0)
Ops(before detect): -
Detector: R0 [#]
#83
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
Undetected (0)
11CIDDB(1,0)
100.00%
Detected (4)
#84
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#85
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
#86
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): -
Detector: R1 [#]
#87
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
Undetected (0)
12CIDDB(1,1)
100.00%
Detected (2)
#89
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
#91
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
Undetected (2)
#88
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#90
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): -
Detector: R0 [#]
13CIDWDB
100.00%
Detected (4)
#96
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
#97
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
#98
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): W1
Detector: R1 [#]
#99
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
Undetected (4)
#92
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
#93
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
#94
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): W0
Detector: R0 [#]
#95
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
14CIDD(0,0)
100.00%
Detected (1)
#100
Fault: CIDD(0,0)
Primitive: < 0Ci1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,0) CAS(1,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
Undetected (0)
15CIDD(0,1)
100.00%
Detected (1)
#101
Fault: CIDD(0,1)
Primitive: < 0Ci0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,0) CAS(0,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
Undetected (0)
16CIDD(1,0)
100.00%
Detected (1)
#102
Fault: CIDD(1,0)
Primitive: < 1Ci1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
Undetected (0)
17CIDD(1,1)
100.00%
Detected (1)
#103
Fault: CIDD(1,1)
Primitive: < 1Ci0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
Undetected (0)
18CDCFst(00,0)
100.00%
Detected (2)
#104
Primitive: < 0Ci0D; 1D/0D/-/- >
Group: a<v
TP State: A0(0,0) A1(0,0) CAS(1,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#105
Primitive: < 0Ci0D; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,0) CAS(1,0) A3(0,0) A4(0,0)
Ops(before detect): -
Detector: R1 [#]
Undetected (0)
19CDCFst(00,1)
100.00%
Detected (2)
#106
Primitive: < 0Ci0D; 0D/1D/-/- >
Group: a<v
TP State: A0(0,0) A1(0,0) CAS(0,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#107
Primitive: < 0Ci0D; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,0) CAS(0,0) A3(0,0) A4(0,0)
Ops(before detect): -
Detector: R0 [#]
Undetected (0)
20IC00
100.00%
Detected (1)
#108
Fault: IC00
Primitive: < AND0Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
Undetected (0)
21IC01
100.00%
Detected (1)
#109
Fault: IC01
Primitive: < AND0Ci1D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
Undetected (0)
22IC10
100.00%
Detected (1)
#110
Fault: IC10
Primitive: < AND1Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
23IC11
100.00%
Detected (1)
#111
Fault: IC11
Primitive: < AND1Ci1D/-/-/0Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
24SDC(11,01)
100.00%
Detected (1)
#112
Fault: SDC(11,01)
Primitive: < 1Ci1D, AND0Ci1D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
Undetected (0)
25SDC(11,10)
100.00%
Detected (1)
#113
Fault: SDC(11,10)
Primitive: < 1Ci1D, AND1Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
Undetected (0)
26CIDC
100.00%
Detected (2)
#114
Fault: CIDC
Primitive: < AND0Ci/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(-,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
#115
Fault: CIDC
Primitive: < AND1Ci/-/-/0Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(-,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
27CI(00,11)
100.00%
Detected (2)
#116
Fault: CI(00,11)
Primitive: < 0Ci0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#117
Fault: CI(00,11)
Primitive: < 0Ci0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
Undetected (0)
28CI(01,11)
100.00%
Detected (2)
#118
Fault: CI(01,11)
Primitive: < 0Ci1D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#119
Fault: CI(01,11)
Primitive: < 0Ci1D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
Undetected (0)
29CI(10,11)
100.00%
Detected (2)
#120
Fault: CI(10,11)
Primitive: < 1Ci0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
#121
Fault: CI(10,11)
Primitive: < 1Ci0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(0,1) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
30CIDCB(0,00)
100.00%
Detected (2)
#122
Primitive: < 0Ci; AND0Ci0D/-/-/1Co >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(0)(-) [#]
#123
Primitive: < 0Ci; AND0Ci0D/-/-/1Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(0) [#]
Undetected (0)
31CIDCB(1,11)
100.00%
Detected (2)
#124
Primitive: < 1Ci; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
#125
Primitive: < 1Ci; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
Undetected (0)
32DDCB(0,11)
100.00%
Detected (2)
#126
Fault: DDCB(0,11)
Primitive: < 0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
#127
Fault: DDCB(0,11)
Primitive: < 0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
33DDCB(1,11)
100.00%
Detected (2)
#128
Fault: DDCB(1,11)
Primitive: < 1D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
#129
Fault: DDCB(1,11)
Primitive: < 1D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)

Uncovered TP Groups (0)

All groups covered.

March COM19 Ops94.12% Cov
Single Cell Coverage
93.75%
16 faults
Two Cell Coverage
94.44%
18 faults
Total Coverage
94.12%
34 faults
Run Time: 237 us
Elem 1
0,0
0,0
-,0
-,0
-,0
W0
0,0
0,0
0,0
-,0
-,0
C(0)(0)(0)
Elem 2
1,1
1,1
0,1
0,1
0,0
R0
1,1
1,1
0,1
0,1
0,0
W1
1,1
1,1
1,1
0,1
0,0
C(1)(1)(0)
Elem 3
0,0
0,0
1,0
1,0
1,1
R1
0,0
0,0
1,0
1,0
1,1
W0
0,0
0,0
0,0
1,0
1,1
C(1)(1)(1)
0,1
0,1
0,1
1,1
1,1
C(0)(0)(1)
Elem 4
0,0
0,1
0,1
1,1
1,1
R0
0,0
0,1
0,1
1,1
1,1
W1
0,0
0,1
1,1
1,1
1,1
C(0)(1)(1)
Elem 5
1,1
1,0
1,0
0,0
0,0
R1
1,1
1,0
1,0
0,0
0,0
W0
1,1
1,0
0,0
0,0
0,0
C(1)(0)(0)
Elem 6
1,0
1,0
0,0
0,0
0,0
R0
1,0
1,0
0,0
0,0
0,0
W1
1,0
1,0
1,0
0,0
0,0
C(1)(1)(1)
1,1
1,1
1,1
0,1
0,1
C(0)(0)(0)
Operation Events

Fault Coverage Summary (34)

#Fault IDCoverageTPs
0SA0
100.00%
Detected (2)
#0
Fault: SA0
Primitive: < 1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#1
Fault: SA0
Primitive: < 1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
1SA1
100.00%
Detected (2)
#2
Fault: SA1
Primitive: < 0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#3
Fault: SA1
Primitive: < 0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
2TFu
100.00%
Detected (2)
#4
Fault: TFu
Primitive: < 0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
#5
Fault: TFu
Primitive: < 0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
Undetected (0)
3TFd
100.00%
Detected (2)
#6
Fault: TFd
Primitive: < 1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
#7
Fault: TFd
Primitive: < 1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
Undetected (0)
4CFid(↓,0)
100.00%
Detected (4)
#8
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [^]
#9
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [^]
#16
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [^]
#17
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [^]
Undetected (12)
#10
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [;]
#11
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [;]
#12
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#13
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#14
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#15
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#18
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [;]
#19
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [;]
#20
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#21
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#22
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#23
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
5CFid(↓,1)
100.00%
Detected (4)
#26
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [;]
#27
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [;]
#34
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [;]
#35
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [;]
Undetected (12)
#24
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [^]
#25
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [^]
#28
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#29
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#30
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#31
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#32
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [^]
#33
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [^]
#36
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#37
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#38
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#39
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
6CFid(↑,0)
100.00%
Detected (4)
#42
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [;]
#43
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [;]
#50
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [;]
#51
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [;]
Undetected (12)
#40
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [^]
#41
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [^]
#44
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#45
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#46
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#47
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#48
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [^]
#49
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [^]
#52
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#53
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#54
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#55
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
7CFid(↑,1)
100.00%
Detected (4)
#56
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [^]
#57
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [^]
#64
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [^]
#65
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [^]
Undetected (12)
#58
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [;]
#59
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [;]
#60
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#61
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#62
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#63
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#66
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [;]
#67
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [;]
#68
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#69
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#70
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#71
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
8CIDWD
100.00%
Detected (2)
#74
Fault: CIDWD
Primitive: < 1Ci0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
#75
Fault: CIDWD
Primitive: < 1Ci0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
Undetected (2)
#72
Fault: CIDWD
Primitive: < 1Ci1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
#73
Fault: CIDWD
Primitive: < 1Ci1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
9CIDDB(0,0)
100.00%
Detected (4)
#76
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,0) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#77
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#78
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,0)
Ops(before detect): -
Detector: R1 [#]
#79
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
Undetected (0)
10CIDDB(0,1)
100.00%
Detected (2)
#80
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,0) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#82
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,0)
Ops(before detect): -
Detector: R0 [#]
Undetected (2)
#81
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#83
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
11CIDDB(1,0)
100.00%
Detected (4)
#84
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#85
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
#86
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): -
Detector: R1 [#]
#87
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
Undetected (0)
12CIDDB(1,1)
100.00%
Detected (4)
#88
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#89
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
#90
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): -
Detector: R0 [#]
#91
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
Undetected (0)
13CIDWDB
100.00%
Detected (7)
#92
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
#94
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): W0
Detector: R0 [#]
#95
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
#96
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
#97
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
#98
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): W1
Detector: R1 [#]
#99
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
Undetected (1)
#93
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
14CIDD(0,0)
100.00%
Detected (1)
#100
Fault: CIDD(0,0)
Primitive: < 0Ci1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,0) CAS(1,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
Undetected (0)
15CIDD(0,1)
100.00%
Detected (1)
#101
Fault: CIDD(0,1)
Primitive: < 0Ci0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,0) CAS(0,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
Undetected (0)
16CIDD(1,0)
100.00%
Detected (1)
#102
Fault: CIDD(1,0)
Primitive: < 1Ci1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
Undetected (0)
17CIDD(1,1)
100.00%
Detected (1)
#103
Fault: CIDD(1,1)
Primitive: < 1Ci0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
Undetected (0)
18CDCFst(00,0)
100.00%
Detected (2)
#104
Primitive: < 0Ci0D; 1D/0D/-/- >
Group: a<v
TP State: A0(0,0) A1(0,0) CAS(1,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#105
Primitive: < 0Ci0D; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,0) CAS(1,0) A3(0,0) A4(0,0)
Ops(before detect): -
Detector: R1 [#]
Undetected (0)
19CDCFst(00,1)
100.00%
Detected (2)
#106
Primitive: < 0Ci0D; 0D/1D/-/- >
Group: a<v
TP State: A0(0,0) A1(0,0) CAS(0,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#107
Primitive: < 0Ci0D; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,0) CAS(0,0) A3(0,0) A4(0,0)
Ops(before detect): -
Detector: R0 [#]
Undetected (0)
20IC00
100.00%
Detected (1)
#108
Fault: IC00
Primitive: < AND0Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
Undetected (0)
21IC01
100.00%
Detected (1)
#109
Fault: IC01
Primitive: < AND0Ci1D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
Undetected (0)
22IC10
100.00%
Detected (1)
#110
Fault: IC10
Primitive: < AND1Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
23IC11
100.00%
Detected (1)
#111
Fault: IC11
Primitive: < AND1Ci1D/-/-/0Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
24SDC(11,01)
100.00%
Detected (1)
#112
Fault: SDC(11,01)
Primitive: < 1Ci1D, AND0Ci1D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
Undetected (0)
25SDC(11,10)
0.00%
Detected (0)
Undetected (1)
#113
Fault: SDC(11,10)
Primitive: < 1Ci1D, AND1Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
26CIDC
100.00%
Detected (2)
#114
Fault: CIDC
Primitive: < AND0Ci/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(-,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
#115
Fault: CIDC
Primitive: < AND1Ci/-/-/0Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(-,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
27CI(00,11)
100.00%
Detected (2)
#116
Fault: CI(00,11)
Primitive: < 0Ci0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#117
Fault: CI(00,11)
Primitive: < 0Ci0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
Undetected (0)
28CI(01,11)
0.00%
Detected (0)
Undetected (2)
#118
Fault: CI(01,11)
Primitive: < 0Ci1D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#119
Fault: CI(01,11)
Primitive: < 0Ci1D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
29CI(10,11)
100.00%
Detected (2)
#120
Fault: CI(10,11)
Primitive: < 1Ci0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
#121
Fault: CI(10,11)
Primitive: < 1Ci0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(0,1) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
30CIDCB(0,00)
100.00%
Detected (2)
#122
Primitive: < 0Ci; AND0Ci0D/-/-/1Co >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(0)(-) [#]
#123
Primitive: < 0Ci; AND0Ci0D/-/-/1Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(0) [#]
Undetected (0)
31CIDCB(1,11)
100.00%
Detected (2)
#124
Primitive: < 1Ci; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
#125
Primitive: < 1Ci; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
Undetected (0)
32DDCB(0,11)
100.00%
Detected (2)
#126
Fault: DDCB(0,11)
Primitive: < 0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
#127
Fault: DDCB(0,11)
Primitive: < 0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
33DDCB(1,11)
100.00%
Detected (2)
#128
Fault: DDCB(1,11)
Primitive: < 1D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
#129
Fault: DDCB(1,11)
Primitive: < 1D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)

Uncovered TP Groups (3)

GroupIdMembers (details)Events
36
tp 113
Fault: SDC(11,10)
Primitive: < 1Ci1D, AND1Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
tp 113
EvtIdStatusStateOpSensOpsDetectOpMaskOp
130SensMasked4--4
401SensMasked11--11
669SensMasked18--18
40
tp 118
Fault: CI(01,11)
Primitive: < 0Ci1D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
tp 118
EvtIdStatusStateOpSensOpsDetectOpMaskOp
110Sensitized44--
427Sensitized1212--
467Sensitized1313--
611Sensitized1717--
649Sensitized1818--
41
tp 119
Fault: CI(01,11)
Primitive: < 0Ci1D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
tp 119
EvtIdStatusStateOpSensOpsDetectOpMaskOp
165Sensitized55--
205Sensitized66--
394Sensitized1111--
LookaheadSynth_9723 Ops97.06% Cov
Single Cell Coverage
100.00%
16 faults
Two Cell Coverage
94.44%
18 faults
Total Coverage
97.06%
34 faults
Run Time: 163 us
Elem 1
0,-
0,-
-,-
-,-
-,-
W0
Elem 2
0,1
0,1
0,1
0,1
0,1
W1
0,1
0,1
1,1
0,1
0,1
C(0)(1)(0)
0,0
0,1
1,1
0,1
0,0
W0
0,0
0,1
0,1
0,1
0,0
C(1)(1)(1)
Elem 3
1,1
1,1
0,1
0,1
0,1
R0
1,1
1,1
0,1
0,1
0,1
C(1)(0)(1)
1,1
1,0
0,0
0,0
0,1
W1
1,1
1,0
1,0
0,0
0,1
C(1)(1)(1)
Elem 4
1,1
1,1
1,1
1,1
1,1
R1
Elem 5
1,0
1,0
1,0
1,0
1,1
C(0)(1)(0)
1,0
1,1
1,1
1,1
1,0
W1
1,0
1,1
1,1
1,1
1,0
R0
1,0
1,1
1,1
1,1
1,0
W1
Elem 6
0,0
0,0
1,0
1,0
1,0
C(1)(0)(0)
0,1
0,0
1,0
1,0
1,0
W0
0,1
0,0
0,0
1,0
1,0
C(0)(0)(0)
0,0
0,0
0,0
1,0
1,0
R0
Elem 7
0,0
0,0
0,0
0,0
0,0
R1
Elem 8
0,0
0,1
0,1
1,1
1,0
W1
0,0
0,1
1,1
1,1
1,0
C(0)(0)(1)
Elem 9
1,0
1,0
1,0
0,0
0,0
R1
1,0
1,0
1,0
0,0
0,0
W0
Operation Events

Fault Coverage Summary (34)

#Fault IDCoverageTPs
0SA0
100.00%
Detected (2)
#0
Fault: SA0
Primitive: < 1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#1
Fault: SA0
Primitive: < 1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
1SA1
100.00%
Detected (2)
#2
Fault: SA1
Primitive: < 0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#3
Fault: SA1
Primitive: < 0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
2TFu
100.00%
Detected (2)
#4
Fault: TFu
Primitive: < 0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
#5
Fault: TFu
Primitive: < 0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
Undetected (0)
3TFd
100.00%
Detected (2)
#6
Fault: TFd
Primitive: < 1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
#7
Fault: TFd
Primitive: < 1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
Undetected (0)
4CFid(↓,0)
100.00%
Detected (4)
#10
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [;]
#11
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [;]
#16
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [^]
#17
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [^]
Undetected (12)
#8
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [^]
#9
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [^]
#12
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#13
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#14
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#15
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#18
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [;]
#19
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [;]
#20
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#21
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#22
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#23
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
5CFid(↓,1)
100.00%
Detected (4)
#26
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [;]
#27
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [;]
#34
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [;]
#35
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [;]
Undetected (12)
#24
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [^]
#25
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [^]
#28
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#29
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#30
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#31
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#32
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [^]
#33
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [^]
#36
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#37
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#38
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#39
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
6CFid(↑,0)
100.00%
Detected (6)
#42
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [;]
#43
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [;]
#50
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [;]
#51
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [;]
#54
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#55
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
Undetected (10)
#40
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [^]
#41
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [^]
#44
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#45
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#46
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#47
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#48
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [^]
#49
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [^]
#52
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#53
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
7CFid(↑,1)
100.00%
Detected (8)
#56
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [^]
#57
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [^]
#58
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [;]
#59
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [;]
#62
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#63
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#66
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [;]
#67
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [;]
Undetected (8)
#60
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#61
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#64
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [^]
#65
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [^]
#68
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#69
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#70
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#71
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
8CIDWD
100.00%
Detected (4)
#72
Fault: CIDWD
Primitive: < 1Ci1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
#73
Fault: CIDWD
Primitive: < 1Ci1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
#74
Fault: CIDWD
Primitive: < 1Ci0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
#75
Fault: CIDWD
Primitive: < 1Ci0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
Undetected (0)
9CIDDB(0,0)
100.00%
Detected (4)
#76
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,0) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#77
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#78
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,0)
Ops(before detect): -
Detector: R1 [#]
#79
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
Undetected (0)
10CIDDB(0,1)
100.00%
Detected (2)
#80
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,0) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#82
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,0)
Ops(before detect): -
Detector: R0 [#]
Undetected (2)
#81
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#83
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
11CIDDB(1,0)
100.00%
Detected (4)
#84
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#85
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
#86
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): -
Detector: R1 [#]
#87
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
Undetected (0)
12CIDDB(1,1)
100.00%
Detected (4)
#88
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#89
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
#90
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): -
Detector: R0 [#]
#91
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
Undetected (0)
13CIDWDB
100.00%
Detected (5)
#92
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
#96
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
#97
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
#98
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): W1
Detector: R1 [#]
#99
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
Undetected (3)
#93
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
#94
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): W0
Detector: R0 [#]
#95
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
14CIDD(0,0)
100.00%
Detected (1)
#100
Fault: CIDD(0,0)
Primitive: < 0Ci1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,0) CAS(1,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
Undetected (0)
15CIDD(0,1)
100.00%
Detected (1)
#101
Fault: CIDD(0,1)
Primitive: < 0Ci0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,0) CAS(0,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
Undetected (0)
16CIDD(1,0)
100.00%
Detected (1)
#102
Fault: CIDD(1,0)
Primitive: < 1Ci1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
Undetected (0)
17CIDD(1,1)
100.00%
Detected (1)
#103
Fault: CIDD(1,1)
Primitive: < 1Ci0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
Undetected (0)
18CDCFst(00,0)
50.00%
Detected (1)
#105
Primitive: < 0Ci0D; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,0) CAS(1,0) A3(0,0) A4(0,0)
Ops(before detect): -
Detector: R1 [#]
Undetected (1)
#104
Primitive: < 0Ci0D; 1D/0D/-/- >
Group: a<v
TP State: A0(0,0) A1(0,0) CAS(1,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
19CDCFst(00,1)
50.00%
Detected (1)
#106
Primitive: < 0Ci0D; 0D/1D/-/- >
Group: a<v
TP State: A0(0,0) A1(0,0) CAS(0,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
Undetected (1)
#107
Primitive: < 0Ci0D; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,0) CAS(0,0) A3(0,0) A4(0,0)
Ops(before detect): -
Detector: R0 [#]
20IC00
100.00%
Detected (1)
#108
Fault: IC00
Primitive: < AND0Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
Undetected (0)
21IC01
100.00%
Detected (1)
#109
Fault: IC01
Primitive: < AND0Ci1D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
Undetected (0)
22IC10
100.00%
Detected (1)
#110
Fault: IC10
Primitive: < AND1Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
23IC11
100.00%
Detected (1)
#111
Fault: IC11
Primitive: < AND1Ci1D/-/-/0Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
24SDC(11,01)
100.00%
Detected (1)
#112
Fault: SDC(11,01)
Primitive: < 1Ci1D, AND0Ci1D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
Undetected (0)
25SDC(11,10)
100.00%
Detected (1)
#113
Fault: SDC(11,10)
Primitive: < 1Ci1D, AND1Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
Undetected (0)
26CIDC
100.00%
Detected (2)
#114
Fault: CIDC
Primitive: < AND0Ci/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(-,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
#115
Fault: CIDC
Primitive: < AND1Ci/-/-/0Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(-,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
27CI(00,11)
100.00%
Detected (2)
#116
Fault: CI(00,11)
Primitive: < 0Ci0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#117
Fault: CI(00,11)
Primitive: < 0Ci0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
Undetected (0)
28CI(01,11)
100.00%
Detected (2)
#118
Fault: CI(01,11)
Primitive: < 0Ci1D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#119
Fault: CI(01,11)
Primitive: < 0Ci1D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
Undetected (0)
29CI(10,11)
100.00%
Detected (2)
#120
Fault: CI(10,11)
Primitive: < 1Ci0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
#121
Fault: CI(10,11)
Primitive: < 1Ci0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(0,1) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
30CIDCB(0,00)
100.00%
Detected (2)
#122
Primitive: < 0Ci; AND0Ci0D/-/-/1Co >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(0)(-) [#]
#123
Primitive: < 0Ci; AND0Ci0D/-/-/1Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(0) [#]
Undetected (0)
31CIDCB(1,11)
100.00%
Detected (2)
#124
Primitive: < 1Ci; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
#125
Primitive: < 1Ci; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
Undetected (0)
32DDCB(0,11)
100.00%
Detected (2)
#126
Fault: DDCB(0,11)
Primitive: < 0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
#127
Fault: DDCB(0,11)
Primitive: < 0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
33DDCB(1,11)
100.00%
Detected (2)
#128
Fault: DDCB(1,11)
Primitive: < 1D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
#129
Fault: DDCB(1,11)
Primitive: < 1D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)

Uncovered TP Groups (2)

GroupIdMembers (details)Events
27
tp 104
Primitive: < 0Ci0D; 1D/0D/-/- >
Group: a<v
TP State: A0(0,0) A1(0,0) CAS(1,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
tp 104
EvtIdStatusStateOpSensOpsDetectOpMaskOp
529DetectMasked1414-15
30
tp 107
Primitive: < 0Ci0D; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,0) CAS(0,0) A3(0,0) A4(0,0)
Ops(before detect): -
Detector: R0 [#]
tp 107
EvtIdStatusStateOpSensOpsDetectOpMaskOp
684DetectMasked1818-19
LookaheadSynth_9822 Ops98.53% Cov
Single Cell Coverage
100.00%
16 faults
Two Cell Coverage
97.22%
18 faults
Total Coverage
98.53%
34 faults
Run Time: 155 us
Elem 1
0,-
0,-
-,-
-,-
-,-
W0
Elem 2
0,1
0,1
0,1
0,1
0,1
W1
0,1
0,1
1,1
0,1
0,1
C(0)(1)(0)
0,0
0,1
1,1
0,1
0,0
W0
0,0
0,1
0,1
0,1
0,0
C(1)(1)(1)
Elem 3
0,1
0,1
0,1
0,1
0,1
R0
0,1
0,1
0,1
0,1
0,1
W0
0,1
0,1
0,1
0,1
0,1
R0
0,1
0,1
0,1
0,1
0,1
W0
Elem 4
0,0
0,0
0,0
0,0
0,0
C(0)(0)(0)
Elem 5
0,0
0,1
0,1
1,1
1,0
W1
0,0
0,1
1,1
1,1
1,0
C(0)(0)(1)
0,0
0,0
1,0
1,0
1,1
R1
Elem 6
1,1
1,0
1,0
1,0
1,0
C(0)(1)(0)
Elem 7
0,0
0,0
1,0
1,0
1,0
C(1)(1)(1)
0,1
0,1
1,1
1,1
1,1
W0
0,1
0,1
0,1
1,1
1,1
C(0)(0)(0)
0,0
0,0
0,0
1,0
1,0
R0
Elem 8
1,0
1,0
0,0
0,0
0,0
W1
1,0
1,0
1,0
0,0
0,0
R0
Elem 9
1,0
1,0
1,0
0,0
0,0
R1
1,0
1,0
1,0
0,0
0,0
W0
Operation Events

Fault Coverage Summary (34)

#Fault IDCoverageTPs
0SA0
100.00%
Detected (2)
#0
Fault: SA0
Primitive: < 1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#1
Fault: SA0
Primitive: < 1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
1SA1
100.00%
Detected (2)
#2
Fault: SA1
Primitive: < 0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#3
Fault: SA1
Primitive: < 0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
2TFu
100.00%
Detected (2)
#4
Fault: TFu
Primitive: < 0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
#5
Fault: TFu
Primitive: < 0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
Undetected (0)
3TFd
100.00%
Detected (2)
#6
Fault: TFd
Primitive: < 1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
#7
Fault: TFd
Primitive: < 1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
Undetected (0)
4CFid(↓,0)
100.00%
Detected (4)
#12
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#13
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#16
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [^]
#17
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [^]
Undetected (12)
#8
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [^]
#9
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [^]
#10
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [;]
#11
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [;]
#14
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#15
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#18
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [;]
#19
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [;]
#20
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#21
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#22
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#23
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
5CFid(↓,1)
100.00%
Detected (6)
#26
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [;]
#27
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [;]
#34
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [;]
#35
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [;]
#36
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#37
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
Undetected (10)
#24
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [^]
#25
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [^]
#28
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#29
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#30
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#31
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#32
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [^]
#33
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [^]
#38
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#39
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
6CFid(↑,0)
100.00%
Detected (4)
#46
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#47
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#50
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [;]
#51
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [;]
Undetected (12)
#40
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [^]
#41
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [^]
#42
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [;]
#43
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [;]
#44
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#45
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#48
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [^]
#49
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [^]
#52
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#53
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#54
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#55
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
7CFid(↑,1)
100.00%
Detected (6)
#58
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [;]
#59
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [;]
#66
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [;]
#67
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [;]
#70
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#71
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
Undetected (10)
#56
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [^]
#57
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [^]
#60
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#61
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#62
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#63
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#64
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [^]
#65
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [^]
#68
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#69
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
8CIDWD
100.00%
Detected (4)
#72
Fault: CIDWD
Primitive: < 1Ci1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
#73
Fault: CIDWD
Primitive: < 1Ci1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
#74
Fault: CIDWD
Primitive: < 1Ci0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
#75
Fault: CIDWD
Primitive: < 1Ci0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
Undetected (0)
9CIDDB(0,0)
100.00%
Detected (4)
#76
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,0) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#77
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#78
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,0)
Ops(before detect): -
Detector: R1 [#]
#79
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
Undetected (0)
10CIDDB(0,1)
100.00%
Detected (2)
#80
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,0) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#82
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,0)
Ops(before detect): -
Detector: R0 [#]
Undetected (2)
#81
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#83
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
11CIDDB(1,0)
100.00%
Detected (3)
#85
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
#86
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): -
Detector: R1 [#]
#87
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
Undetected (1)
#84
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
12CIDDB(1,1)
100.00%
Detected (4)
#88
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#89
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
#90
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): -
Detector: R0 [#]
#91
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
Undetected (0)
13CIDWDB
100.00%
Detected (4)
#92
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
#94
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): W0
Detector: R0 [#]
#97
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
#99
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
Undetected (4)
#93
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
#95
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
#96
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
#98
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): W1
Detector: R1 [#]
14CIDD(0,0)
100.00%
Detected (1)
#100
Fault: CIDD(0,0)
Primitive: < 0Ci1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,0) CAS(1,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
Undetected (0)
15CIDD(0,1)
100.00%
Detected (1)
#101
Fault: CIDD(0,1)
Primitive: < 0Ci0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,0) CAS(0,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
Undetected (0)
16CIDD(1,0)
100.00%
Detected (1)
#102
Fault: CIDD(1,0)
Primitive: < 1Ci1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
Undetected (0)
17CIDD(1,1)
100.00%
Detected (1)
#103
Fault: CIDD(1,1)
Primitive: < 1Ci0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
Undetected (0)
18CDCFst(00,0)
100.00%
Detected (2)
#104
Primitive: < 0Ci0D; 1D/0D/-/- >
Group: a<v
TP State: A0(0,0) A1(0,0) CAS(1,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#105
Primitive: < 0Ci0D; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,0) CAS(1,0) A3(0,0) A4(0,0)
Ops(before detect): -
Detector: R1 [#]
Undetected (0)
19CDCFst(00,1)
50.00%
Detected (1)
#106
Primitive: < 0Ci0D; 0D/1D/-/- >
Group: a<v
TP State: A0(0,0) A1(0,0) CAS(0,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
Undetected (1)
#107
Primitive: < 0Ci0D; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,0) CAS(0,0) A3(0,0) A4(0,0)
Ops(before detect): -
Detector: R0 [#]
20IC00
100.00%
Detected (1)
#108
Fault: IC00
Primitive: < AND0Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
Undetected (0)
21IC01
100.00%
Detected (1)
#109
Fault: IC01
Primitive: < AND0Ci1D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
Undetected (0)
22IC10
100.00%
Detected (1)
#110
Fault: IC10
Primitive: < AND1Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
23IC11
100.00%
Detected (1)
#111
Fault: IC11
Primitive: < AND1Ci1D/-/-/0Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
24SDC(11,01)
100.00%
Detected (1)
#112
Fault: SDC(11,01)
Primitive: < 1Ci1D, AND0Ci1D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
Undetected (0)
25SDC(11,10)
100.00%
Detected (1)
#113
Fault: SDC(11,10)
Primitive: < 1Ci1D, AND1Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
Undetected (0)
26CIDC
100.00%
Detected (2)
#114
Fault: CIDC
Primitive: < AND0Ci/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(-,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
#115
Fault: CIDC
Primitive: < AND1Ci/-/-/0Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(-,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
27CI(00,11)
100.00%
Detected (2)
#116
Fault: CI(00,11)
Primitive: < 0Ci0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#117
Fault: CI(00,11)
Primitive: < 0Ci0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
Undetected (0)
28CI(01,11)
100.00%
Detected (2)
#118
Fault: CI(01,11)
Primitive: < 0Ci1D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#119
Fault: CI(01,11)
Primitive: < 0Ci1D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
Undetected (0)
29CI(10,11)
100.00%
Detected (2)
#120
Fault: CI(10,11)
Primitive: < 1Ci0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
#121
Fault: CI(10,11)
Primitive: < 1Ci0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(0,1) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
30CIDCB(0,00)
100.00%
Detected (2)
#122
Primitive: < 0Ci; AND0Ci0D/-/-/1Co >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(0)(-) [#]
#123
Primitive: < 0Ci; AND0Ci0D/-/-/1Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(0) [#]
Undetected (0)
31CIDCB(1,11)
100.00%
Detected (2)
#124
Primitive: < 1Ci; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
#125
Primitive: < 1Ci; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
Undetected (0)
32DDCB(0,11)
100.00%
Detected (2)
#126
Fault: DDCB(0,11)
Primitive: < 0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
#127
Fault: DDCB(0,11)
Primitive: < 0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)
33DDCB(1,11)
100.00%
Detected (2)
#128
Fault: DDCB(1,11)
Primitive: < 1D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
#129
Fault: DDCB(1,11)
Primitive: < 1D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
Undetected (0)

Uncovered TP Groups (1)

GroupIdMembers (details)Events
30
tp 107
Primitive: < 0Ci0D; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,0) CAS(0,0) A3(0,0) A4(0,0)
Ops(before detect): -
Detector: R0 [#]
tp 107
EvtIdStatusStateOpSensOpsDetectOpMaskOp
331DetectMasked99-10
678DetectMasked1818-18
March MSS18 Ops17.65% Cov
Single Cell Coverage
12.50%
16 faults
Two Cell Coverage
22.22%
18 faults
Total Coverage
17.65%
34 faults
Run Time: 131 us
Elem 1
0,-
0,-
-,-
-,-
-,-
W0
Elem 2
1,-
1,-
0,-
0,-
0,-
R0
1,-
1,-
0,-
0,-
0,-
R0
1,-
1,-
0,-
0,-
0,-
W1
1,-
1,-
1,-
0,-
0,-
W1
Elem 3
0,-
0,-
1,-
1,-
1,-
R1
0,-
0,-
1,-
1,-
1,-
R1
0,-
0,-
1,-
1,-
1,-
W0
0,-
0,-
0,-
1,-
1,-
W0
Elem 4
0,-
0,-
0,-
1,-
1,-
R0
0,-
0,-
0,-
1,-
1,-
R0
0,-
0,-
0,-
1,-
1,-
W1
0,-
0,-
1,-
1,-
1,-
W1
Elem 5
1,-
1,-
1,-
0,-
0,-
R1
1,-
1,-
1,-
0,-
0,-
R1
1,-
1,-
1,-
0,-
0,-
W0
1,-
1,-
0,-
0,-
0,-
W0
Elem 6
0,-
0,-
0,-
0,-
0,-
R0
Operation Events

Fault Coverage Summary (34)

#Fault IDCoverageTPs
0SA0
100.00%
Detected (1)
#0
Fault: SA0
Primitive: < 1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
Undetected (1)
#1
Fault: SA0
Primitive: < 1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
1SA1
100.00%
Detected (1)
#2
Fault: SA1
Primitive: < 0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
Undetected (1)
#3
Fault: SA1
Primitive: < 0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
2TFu
0.00%
Detected (0)
Undetected (2)
#4
Fault: TFu
Primitive: < 0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
#5
Fault: TFu
Primitive: < 0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
3TFd
0.00%
Detected (0)
Undetected (2)
#6
Fault: TFd
Primitive: < 1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
#7
Fault: TFd
Primitive: < 1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
4CFid(↓,0)
100.00%
Detected (4)
#8
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [^]
#9
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [^]
#16
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [^]
#17
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [^]
Undetected (12)
#10
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [;]
#11
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: R1 [;]
#12
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#13
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#14
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#15
Primitive: < 1W0D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#18
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [;]
#19
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R1 [;]
#20
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#21
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#22
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#23
Primitive: < 1W0D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
5CFid(↓,1)
100.00%
Detected (4)
#26
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [;]
#27
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [;]
#34
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [;]
#35
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [;]
Undetected (12)
#24
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [^]
#25
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: R0 [^]
#28
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#29
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#30
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#31
Primitive: < 1W0D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#32
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [^]
#33
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [^]
#36
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#37
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [^]
#38
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
#39
Primitive: < 1W0D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [;]
6CFid(↑,0)
100.00%
Detected (4)
#42
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [;]
#43
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [;]
#50
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [;]
#51
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [;]
Undetected (12)
#40
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [^]
#41
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: R1 [^]
#44
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#45
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#46
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#47
Primitive: < 0W1D; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(1,-) A4(1,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#48
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [^]
#49
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [^]
#52
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#53
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#54
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#55
Primitive: < 0W1D; 1D/0D/-/- >
Group: a>v
TP State: A0(1,-) A1(1,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
7CFid(↑,1)
100.00%
Detected (4)
#56
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [^]
#57
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [^]
#64
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [^]
#65
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [^]
Undetected (12)
#58
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [;]
#59
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: R0 [;]
#60
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#61
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#62
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#63
Primitive: < 0W1D; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(0,-) A4(0,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#66
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [;]
#67
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R0 [;]
#68
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#69
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [^]
#70
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
#71
Primitive: < 0W1D; 0D/1D/-/- >
Group: a>v
TP State: A0(0,-) A1(0,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [;]
8CIDWD
0.00%
Detected (0)
Undetected (4)
#72
Fault: CIDWD
Primitive: < 1Ci1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
#73
Fault: CIDWD
Primitive: < 1Ci1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
#74
Fault: CIDWD
Primitive: < 1Ci0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
#75
Fault: CIDWD
Primitive: < 1Ci0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
9CIDDB(0,0)
0.00%
Detected (0)
Undetected (4)
#76
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,0) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#77
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#78
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,0)
Ops(before detect): -
Detector: R1 [#]
#79
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
10CIDDB(0,1)
0.00%
Detected (0)
Undetected (4)
#80
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,0) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#81
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#82
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,0)
Ops(before detect): -
Detector: R0 [#]
#83
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
11CIDDB(1,0)
0.00%
Detected (0)
Undetected (4)
#84
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#85
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
#86
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): -
Detector: R1 [#]
#87
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
12CIDDB(1,1)
0.00%
Detected (0)
Undetected (4)
#88
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#89
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
#90
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): -
Detector: R0 [#]
#91
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
13CIDWDB
0.00%
Detected (0)
Undetected (8)
#92
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
#93
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
#94
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): W0
Detector: R0 [#]
#95
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
#96
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
#97
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
#98
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): W1
Detector: R1 [#]
#99
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
14CIDD(0,0)
0.00%
Detected (0)
Undetected (1)
#100
Fault: CIDD(0,0)
Primitive: < 0Ci1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,0) CAS(1,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
15CIDD(0,1)
0.00%
Detected (0)
Undetected (1)
#101
Fault: CIDD(0,1)
Primitive: < 0Ci0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,0) CAS(0,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
16CIDD(1,0)
0.00%
Detected (0)
Undetected (1)
#102
Fault: CIDD(1,0)
Primitive: < 1Ci1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
17CIDD(1,1)
0.00%
Detected (0)
Undetected (1)
#103
Fault: CIDD(1,1)
Primitive: < 1Ci0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
18CDCFst(00,0)
0.00%
Detected (0)
Undetected (2)
#104
Primitive: < 0Ci0D; 1D/0D/-/- >
Group: a<v
TP State: A0(0,0) A1(0,0) CAS(1,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
#105
Primitive: < 0Ci0D; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,0) CAS(1,0) A3(0,0) A4(0,0)
Ops(before detect): -
Detector: R1 [#]
19CDCFst(00,1)
0.00%
Detected (0)
Undetected (2)
#106
Primitive: < 0Ci0D; 0D/1D/-/- >
Group: a<v
TP State: A0(0,0) A1(0,0) CAS(0,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
#107
Primitive: < 0Ci0D; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,0) CAS(0,0) A3(0,0) A4(0,0)
Ops(before detect): -
Detector: R0 [#]
20IC00
0.00%
Detected (0)
Undetected (1)
#108
Fault: IC00
Primitive: < AND0Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
21IC01
0.00%
Detected (0)
Undetected (1)
#109
Fault: IC01
Primitive: < AND0Ci1D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
22IC10
0.00%
Detected (0)
Undetected (1)
#110
Fault: IC10
Primitive: < AND1Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
23IC11
0.00%
Detected (0)
Undetected (1)
#111
Fault: IC11
Primitive: < AND1Ci1D/-/-/0Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
24SDC(11,01)
0.00%
Detected (0)
Undetected (1)
#112
Fault: SDC(11,01)
Primitive: < 1Ci1D, AND0Ci1D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
25SDC(11,10)
0.00%
Detected (0)
Undetected (1)
#113
Fault: SDC(11,10)
Primitive: < 1Ci1D, AND1Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
26CIDC
0.00%
Detected (0)
Undetected (2)
#114
Fault: CIDC
Primitive: < AND0Ci/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(-,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
#115
Fault: CIDC
Primitive: < AND1Ci/-/-/0Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(-,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
27CI(00,11)
0.00%
Detected (0)
Undetected (2)
#116
Fault: CI(00,11)
Primitive: < 0Ci0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#117
Fault: CI(00,11)
Primitive: < 0Ci0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
28CI(01,11)
0.00%
Detected (0)
Undetected (2)
#118
Fault: CI(01,11)
Primitive: < 0Ci1D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
#119
Fault: CI(01,11)
Primitive: < 0Ci1D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
29CI(10,11)
0.00%
Detected (0)
Undetected (2)
#120
Fault: CI(10,11)
Primitive: < 1Ci0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
#121
Fault: CI(10,11)
Primitive: < 1Ci0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(0,1) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
30CIDCB(0,00)
0.00%
Detected (0)
Undetected (2)
#122
Primitive: < 0Ci; AND0Ci0D/-/-/1Co >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(0)(-) [#]
#123
Primitive: < 0Ci; AND0Ci0D/-/-/1Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(0) [#]
31CIDCB(1,11)
0.00%
Detected (0)
Undetected (2)
#124
Primitive: < 1Ci; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
#125
Primitive: < 1Ci; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
32DDCB(0,11)
0.00%
Detected (0)
Undetected (2)
#126
Fault: DDCB(0,11)
Primitive: < 0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
#127
Fault: DDCB(0,11)
Primitive: < 0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
33DDCB(1,11)
0.00%
Detected (0)
Undetected (2)
#128
Fault: DDCB(1,11)
Primitive: < 1D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
#129
Fault: DDCB(1,11)
Primitive: < 1D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]

Uncovered TP Groups (42)

GroupIdMembers (details)Events
2
tp 4
Fault: TFu
Primitive: < 0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
tp 5
Fault: TFu
Primitive: < 0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
tp 4
EvtIdStatusStateOpSensOpsDetectOpMaskOp
20SensMasked1--1
50SensMasked2--2
80DetectMasked33-4
246SensMasked8--8
276SensMasked9--9
306SensMasked10--10
336DetectMasked1111-12
502SensMasked16--16
532SensMasked17--17
tp 5
EvtIdStatusStateOpSensOpsDetectOpMaskOp
21SensMasked1--1
51SensMasked2--2
81DetectMasked33-4
247SensMasked8--8
277SensMasked9--9
307SensMasked10--10
337DetectMasked1111-12
503SensMasked16--16
533SensMasked17--17
3
tp 6
Fault: TFd
Primitive: < 1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
tp 7
Fault: TFd
Primitive: < 1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
tp 6
EvtIdStatusStateOpSensOpsDetectOpMaskOp
114SensMasked4--4
148SensMasked5--5
182SensMasked6--6
216DetectMasked77-8
370SensMasked12--12
404SensMasked13--13
438SensMasked14--14
472DetectMasked1515-16
tp 7
EvtIdStatusStateOpSensOpsDetectOpMaskOp
115SensMasked4--4
149SensMasked5--5
183SensMasked6--6
217DetectMasked77-8
371SensMasked12--12
405SensMasked13--13
439SensMasked14--14
473DetectMasked1515-16
12
tp 72
Fault: CIDWD
Primitive: < 1Ci1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
tp 73
Fault: CIDWD
Primitive: < 1Ci1W0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
tp 74
Fault: CIDWD
Primitive: < 1Ci0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
tp 75
Fault: CIDWD
Primitive: < 1Ci0W1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
tp 72
No events
tp 73
No events
tp 74
No events
tp 75
No events
13
tp 76
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,0) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
tp 77
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
tp 76
No events
tp 77
EvtIdStatusStateOpSensOpsDetectOpMaskOp
116DetectMasked44-4
150DetectMasked55-7
184DetectMasked66-7
218DetectMasked77-7
372DetectMasked1212-12
406DetectMasked1313-15
440DetectMasked1414-15
474DetectMasked1515-15
14
tp 78
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,0)
Ops(before detect): -
Detector: R1 [#]
tp 79
Fault: CIDDB(0,0)
Primitive: < 0Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
tp 78
No events
tp 79
EvtIdStatusStateOpSensOpsDetectOpMaskOp
117DetectMasked44-4
151DetectMasked55-7
185DetectMasked66-7
219DetectMasked77-7
373DetectMasked1212-12
407DetectMasked1313-15
441DetectMasked1414-15
475DetectMasked1515-15
15
tp 80
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,0) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
tp 81
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
tp 80
No events
tp 81
EvtIdStatusStateOpSensOpsDetectOpMaskOp
22DetectMasked11-3
52DetectMasked22-3
82DetectMasked33-3
248DetectMasked88-8
278DetectMasked99-11
308DetectMasked1010-11
338DetectMasked1111-11
504DetectMasked1616-16
534Sensitized1717--
16
tp 82
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,0)
Ops(before detect): -
Detector: R0 [#]
tp 83
Fault: CIDDB(0,1)
Primitive: < 0Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
tp 82
No events
tp 83
EvtIdStatusStateOpSensOpsDetectOpMaskOp
23DetectMasked11-3
53DetectMasked22-3
83DetectMasked33-3
249DetectMasked88-8
279DetectMasked99-11
309DetectMasked1010-11
339DetectMasked1111-11
505DetectMasked1616-16
535Sensitized1717--
17
tp 84
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
tp 85
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
tp 84
No events
tp 85
EvtIdStatusStateOpSensOpsDetectOpMaskOp
118DetectMasked44-4
152DetectMasked55-7
186DetectMasked66-7
220DetectMasked77-7
374DetectMasked1212-12
408DetectMasked1313-15
442DetectMasked1414-15
476DetectMasked1515-15
18
tp 86
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): -
Detector: R1 [#]
tp 87
Fault: CIDDB(1,0)
Primitive: < 1Ci; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
tp 86
No events
tp 87
EvtIdStatusStateOpSensOpsDetectOpMaskOp
119DetectMasked44-4
153DetectMasked55-7
187DetectMasked66-7
221DetectMasked77-7
375DetectMasked1212-12
409DetectMasked1313-15
443DetectMasked1414-15
477DetectMasked1515-15
19
tp 88
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
tp 89
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
tp 88
No events
tp 89
EvtIdStatusStateOpSensOpsDetectOpMaskOp
24DetectMasked11-3
54DetectMasked22-3
84DetectMasked33-3
250DetectMasked88-8
280DetectMasked99-11
310DetectMasked1010-11
340DetectMasked1111-11
506DetectMasked1616-16
536Sensitized1717--
20
tp 90
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): -
Detector: R0 [#]
tp 91
Fault: CIDDB(1,1)
Primitive: < 1Ci; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
tp 90
No events
tp 91
EvtIdStatusStateOpSensOpsDetectOpMaskOp
25DetectMasked11-3
55DetectMasked22-3
85DetectMasked33-3
251DetectMasked88-8
281DetectMasked99-11
311DetectMasked1010-11
341DetectMasked1111-11
507DetectMasked1616-16
537Sensitized1717--
21
tp 92
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: R0 [#]
tp 93
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
tp 96
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: R1 [#]
tp 97
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a<v
TP State: A0(-,1) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
tp 92
No events
tp 93
No events
tp 96
No events
tp 97
No events
22
tp 94
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): W0
Detector: R0 [#]
tp 95
Fault: CIDWDB
Primitive: < 1Ci; 1W0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,1)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
tp 98
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): W1
Detector: R1 [#]
tp 99
Fault: CIDWDB
Primitive: < 1Ci; 0W1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,1)
Ops(before detect): W1
Detector: C(-)(1)(-) [#]
tp 94
No events
tp 95
No events
tp 98
No events
tp 99
No events
23
tp 100
Fault: CIDD(0,0)
Primitive: < 0Ci1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,0) CAS(1,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
tp 100
No events
24
tp 101
Fault: CIDD(0,1)
Primitive: < 0Ci0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,0) CAS(0,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
tp 101
No events
25
tp 102
Fault: CIDD(1,0)
Primitive: < 1Ci1D/0D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
tp 102
No events
26
tp 103
Fault: CIDD(1,1)
Primitive: < 1Ci0D/1D/-/- >
Group: single
TP State: A0(-,-) A1(-,1) CAS(0,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
tp 103
No events
27
tp 104
Primitive: < 0Ci0D; 1D/0D/-/- >
Group: a<v
TP State: A0(0,0) A1(0,0) CAS(1,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R1 [#]
tp 104
No events
28
tp 105
Primitive: < 0Ci0D; 1D/0D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,0) CAS(1,0) A3(0,0) A4(0,0)
Ops(before detect): -
Detector: R1 [#]
tp 105
No events
29
tp 106
Primitive: < 0Ci0D; 0D/1D/-/- >
Group: a<v
TP State: A0(0,0) A1(0,0) CAS(0,0) A3(-,0) A4(-,-)
Ops(before detect): -
Detector: R0 [#]
tp 106
No events
30
tp 107
Primitive: < 0Ci0D; 0D/1D/-/- >
Group: a>v
TP State: A0(-,-) A1(-,0) CAS(0,0) A3(0,0) A4(0,0)
Ops(before detect): -
Detector: R0 [#]
tp 107
No events
31
tp 108
Fault: IC00
Primitive: < AND0Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
tp 108
EvtIdStatusStateOpSensOpsDetectOpMaskOp
26Sensitized11--
56Sensitized22--
86Sensitized33--
252Sensitized88--
282Sensitized99--
312Sensitized1010--
342Sensitized1111--
508Sensitized1616--
538Sensitized1717--
32
tp 109
Fault: IC01
Primitive: < AND0Ci1D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
tp 109
EvtIdStatusStateOpSensOpsDetectOpMaskOp
120Sensitized44--
154Sensitized55--
188Sensitized66--
222Sensitized77--
376Sensitized1212--
410Sensitized1313--
444Sensitized1414--
478Sensitized1515--
33
tp 110
Fault: IC10
Primitive: < AND1Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
tp 110
EvtIdStatusStateOpSensOpsDetectOpMaskOp
27Sensitized11--
57Sensitized22--
87Sensitized33--
253Sensitized88--
283Sensitized99--
313Sensitized1010--
343Sensitized1111--
509Sensitized1616--
539Sensitized1717--
34
tp 111
Fault: IC11
Primitive: < AND1Ci1D/-/-/0Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
tp 111
EvtIdStatusStateOpSensOpsDetectOpMaskOp
121Sensitized44--
155Sensitized55--
189Sensitized66--
223Sensitized77--
377Sensitized1212--
411Sensitized1313--
445Sensitized1414--
479Sensitized1515--
35
tp 112
Fault: SDC(11,01)
Primitive: < 1Ci1D, AND0Ci1D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
tp 112
No events
36
tp 113
Fault: SDC(11,10)
Primitive: < 1Ci1D, AND1Ci0D/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): W0
Detector: C(-)(1)(-) [#]
tp 113
No events
37
tp 114
Fault: CIDC
Primitive: < AND0Ci/-/-/1Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(-,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(-) [#]
tp 115
Fault: CIDC
Primitive: < AND1Ci/-/-/0Co >
Group: single
TP State: A0(-,-) A1(-,-) CAS(-,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
tp 114
EvtIdStatusStateOpSensOpsDetectOpMaskOp
0Sensitized00--
30Sensitized11--
60Sensitized22--
90Sensitized33--
124Sensitized44--
158Sensitized55--
192Sensitized66--
226Sensitized77--
256Sensitized88--
286Sensitized99--
316Sensitized1010--
346Sensitized1111--
380Sensitized1212--
414Sensitized1313--
448Sensitized1414--
482Sensitized1515--
512Sensitized1616--
542Sensitized1717--
tp 115
EvtIdStatusStateOpSensOpsDetectOpMaskOp
1Sensitized00--
31Sensitized11--
61Sensitized22--
91Sensitized33--
125Sensitized44--
159Sensitized55--
193Sensitized66--
227Sensitized77--
257Sensitized88--
287Sensitized99--
317Sensitized1010--
347Sensitized1111--
381Sensitized1212--
415Sensitized1313--
449Sensitized1414--
483Sensitized1515--
513Sensitized1616--
543Sensitized1717--
38
tp 116
Fault: CI(00,11)
Primitive: < 0Ci0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
tp 116
EvtIdStatusStateOpSensOpsDetectOpMaskOp
134Sensitized55--
168Sensitized66--
202Sensitized77--
356Sensitized1212--
39
tp 117
Fault: CI(00,11)
Primitive: < 0Ci0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
tp 117
EvtIdStatusStateOpSensOpsDetectOpMaskOp
110Sensitized44--
400Sensitized1313--
434Sensitized1414--
468Sensitized1515--
40
tp 118
Fault: CI(01,11)
Primitive: < 0Ci1D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(1)(-) [#]
tp 118
EvtIdStatusStateOpSensOpsDetectOpMaskOp
100Sensitized44--
390Sensitized1313--
424Sensitized1414--
458Sensitized1515--
41
tp 119
Fault: CI(01,11)
Primitive: < 0Ci1D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): -
Detector: C(-)(1)(0) [#]
tp 119
EvtIdStatusStateOpSensOpsDetectOpMaskOp
144Sensitized55--
178Sensitized66--
212Sensitized77--
366Sensitized1212--
42
tp 120
Fault: CI(10,11)
Primitive: < 1Ci0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,1) CAS(1,1) A3(-,1) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
tp 120
No events
43
tp 121
Fault: CI(10,11)
Primitive: < 1Ci0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,1) CAS(1,1) A3(0,1) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
tp 121
No events
44
tp 122
Primitive: < 0Ci; AND0Ci0D/-/-/1Co >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(0)(0)(-) [#]
tp 122
EvtIdStatusStateOpSensOpsDetectOpMaskOp
28Sensitized11--
58Sensitized22--
88Sensitized33--
254Sensitized88--
284Sensitized99--
314Sensitized1010--
344Sensitized1111--
510Sensitized1616--
540Sensitized1717--
45
tp 123
Primitive: < 0Ci; AND0Ci0D/-/-/1Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(0,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(0)(0) [#]
tp 123
EvtIdStatusStateOpSensOpsDetectOpMaskOp
29Sensitized11--
59Sensitized22--
89Sensitized33--
255Sensitized88--
285Sensitized99--
315Sensitized1010--
345Sensitized1111--
511Sensitized1616--
541Sensitized1717--
46
tp 124
Primitive: < 1Ci; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(1)(1)(-) [#]
tp 124
EvtIdStatusStateOpSensOpsDetectOpMaskOp
122Sensitized44--
156Sensitized55--
190Sensitized66--
224Sensitized77--
378Sensitized1212--
412Sensitized1313--
446Sensitized1414--
480Sensitized1515--
47
tp 125
Primitive: < 1Ci; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(1) [#]
tp 125
EvtIdStatusStateOpSensOpsDetectOpMaskOp
123Sensitized44--
157Sensitized55--
191Sensitized66--
225Sensitized77--
379Sensitized1212--
413Sensitized1313--
447Sensitized1414--
481Sensitized1515--
48
tp 126
Fault: DDCB(0,11)
Primitive: < 0D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(0,-) A1(0,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
tp 126
EvtIdStatusStateOpSensOpsDetectOpMaskOp
135Sensitized55--
169Sensitized66--
203Sensitized77--
357Sensitized1212--
49
tp 127
Fault: DDCB(0,11)
Primitive: < 0D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(0,-) A4(0,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
tp 127
EvtIdStatusStateOpSensOpsDetectOpMaskOp
111Sensitized44--
401Sensitized1313--
435Sensitized1414--
469Sensitized1515--
50
tp 128
Fault: DDCB(1,11)
Primitive: < 1D; AND1Ci1D/-/-/0Co >
Group: a<v
TP State: A0(1,-) A1(1,-) CAS(1,-) A3(-,-) A4(-,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
tp 128
EvtIdStatusStateOpSensOpsDetectOpMaskOp
101Sensitized44--
391Sensitized1313--
425Sensitized1414--
459Sensitized1515--
51
tp 129
Fault: DDCB(1,11)
Primitive: < 1D; AND1Ci1D/-/-/0Co >
Group: a>v
TP State: A0(-,-) A1(-,-) CAS(1,-) A3(1,-) A4(1,-)
Ops(before detect): -
Detector: C(-)(1)(-) [#]
tp 129
EvtIdStatusStateOpSensOpsDetectOpMaskOp
145Sensitized55--
179Sensitized66--
213Sensitized77--
367Sensitized1212--